Enforcing opacity by insertion functions under multiple energy constraints
نویسندگان
چکیده
منابع مشابه
Synthesis of insertion functions for enforcement of opacity security properties
Opacity is a confidentiality property that characterizes whether a ‘‘secret’’ of a system can be inferred by an outside observer called an ‘‘intruder’’. In this paper, we consider the problem of enforcing opacity in systems modeled as partially-observed finite-state automata. We propose a novel enforcement mechanism based on the use of insertion functions. An insertion function is a monitoring ...
متن کاملReliability optimization problems with multiple constraints under fuzziness
In reliability optimization problems diverse situation occurs due to which it is not always possible to get relevant precision in system reliability. The imprecision in data can often be represented by triangular fuzzy numbers. In this manuscript, we have considered different fuzzy environment for reliability optimization problem of redundancy. We formulate a redundancy allocation problem for a...
متن کاملEnforcing Quantum Constraints
An abstract formulation of quantum dynamics in the presence of a general set of quantum constraints is developed. Our constructive procedure is such that the relevant projection operator onto the physical Hilbert space is obtained with a single, common integration procedure over the original Lagrange multiplier variables that is completely independent of the general nature of the constraints. I...
متن کاملModulation optimization under energy constraints
We consider radio applications where the nodes operate on batteries so that energy consumption must be minimized while satisfying given throughput and delay requirements. In this context, we analyze the best modulation strategy to minimize the total energy consumption required to send a given number of bits. The total energy consumption includes both the transmission energy and the circuit ener...
متن کاملHedging under multiple risk constraints
Motivated by the asset-liability management of a nuclear power plant operator, we consider the problem of finding the least expensive portfolio which outperforms a given set of stochastic benchmarks at a sequence of future dates. For a specified loss function, the shortfall with respect to each of the benchmarks weighted by this loss function must remain bounded in expectation by a given thresh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2019
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2019.06.028